Search Results

Documents authored by Boella, Guido

Document
DOI: 10.4230/LIPIcs.COSIT.2017.6
Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices

Authors: Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino

Published in: LIPIcs, Volume 86, 13th International Conference on Spatial Information Theory (COSIT 2017)

Abstract
Cities can be seen as systems of urban artefacts interacting with human activities. Since cities in this sense need to be organized and coordinated, convergences and divergences between the "planned" and the "lived" city have always been of paramount interest in urban planning. The increasing amount of geo big data and the growing impact of Internet of Things (IoT) in contemporary smart city is pushing toward a re-conceptualization of urban systems taking into consideration the complexity of human behaviors. This work contributes to this view by proposing an ontological analysis of urban artefacts and their roles, focusing in particular on the difference between social roles and functional roles through the prism of social practices.
Cite as

Alessia Calafiore, Guido Boella, Stefano Borgo, and Nicola Guarino. Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices. In 13th International Conference on Spatial Information Theory (COSIT 2017). Leibniz International Proceedings in Informatics (LIPIcs), Volume 86, pp. 6:1-6:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2017)

Copy BibTex To Clipboard

@InProceedings{calafiore_et_al:LIPIcs.COSIT.2017.6,
  author =	{Calafiore, Alessia and Boella, Guido and Borgo, Stefano and Guarino, Nicola},
  title =	{{Urban Artefacts and Their Social Roles: Towards an Ontology of Social Practices}},
  booktitle =	{13th International Conference on Spatial Information Theory (COSIT 2017)},
  pages =	{6:1--6:13},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-043-9},
  ISSN =	{1868-8969},
  year =	{2017},
  volume =	{86},
  editor =	{Clementini, Eliseo and Donnelly, Maureen and Yuan, May and Kray, Christian and Fogliaroni, Paolo and Ballatore, Andrea},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.COSIT.2017.6},
  URN =		{urn:nbn:de:0030-drops-77642},
  doi =		{10.4230/LIPIcs.COSIT.2017.6},
  annote =	{Keywords: urban artefact, ontology, social practice, urban planning}
}
Document
DOI: 10.4230/DagSemProc.10152.1
10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages

Authors: Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip

Published in: Dagstuhl Seminar Proceedings, Volume 10152, Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)

Abstract
From 11/04/10 to 16/04/10, the Dagstuhl Seminar 10152 ``Relationships, Objects, Roles, and Queries in Modern Programming Languages'' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip. 10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages. In Relationships, Objects, Roles, and Queries in Modern Programming Languages. Dagstuhl Seminar Proceedings, Volume 10152, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.10152.1,
  author =	{Boella, Guido and Meijer, Erik and Pearce, David J. and Steimann, Friedrich and Tip, Frank},
  title =	{{10152 Abstracts Collection – Relationships, Objects, Roles, and Queries in Modern Languages}},
  booktitle =	{Relationships, Objects, Roles, and Queries in Modern Programming Languages},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10152},
  editor =	{Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.1},
  URN =		{urn:nbn:de:0030-drops-25750},
  doi =		{10.4230/DagSemProc.10152.1},
  annote =	{Keywords: Relationships, Roles, Software Modelling, Programming Languages}
}
Document
DOI: 10.4230/DagSemProc.10152.2
10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages

Authors: Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip

Published in: Dagstuhl Seminar Proceedings, Volume 10152, Relationships, Objects, Roles, and Queries in Modern Programming Languages (2010)

Abstract
During the 4 days of the seminar, 21 talks, 4 tutorials and 6 demos were given by the participants. In addition, a beauty contest was run on the last day, where participants were invited to solve a benchmark problem using their system.
Cite as

Guido Boella, Erik Meijer, David J. Pearce, Friedrich Steimann, and Frank Tip. 10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages. In Relationships, Objects, Roles, and Queries in Modern Programming Languages. Dagstuhl Seminar Proceedings, Volume 10152, pp. 1-3, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.10152.2,
  author =	{Boella, Guido and Meijer, Erik and Pearce, David J. and Steimann, Friedrich and Tip, Frank},
  title =	{{10152 Executive Summary – Relationships, Objects, Roles, and Queries in Modern Languages}},
  booktitle =	{Relationships, Objects, Roles, and Queries in Modern Programming Languages},
  pages =	{1--3},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2010},
  volume =	{10152},
  editor =	{Guido Boella and Erik Meijer and David J. Pearce and Friedrich Steimann and Frank Tip},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.10152.2},
  URN =		{urn:nbn:de:0030-drops-25743},
  doi =		{10.4230/DagSemProc.10152.2},
  annote =	{Keywords: Relationships, Roles, Software Modelling, Programming Languages}
}
Document
DOI: 10.4230/DagSemProc.09121.1
09121 Abstracts Collection – Normative Multi-Agent Systems

Authors: Guido Boella, Pablo Noriega, and Gabriella Pigozzi

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)

Abstract
From 15.03. to 20.03.2009, the Dagstuhl Seminar 09121 ``Normative Multi-Agent Systems '' was held in Schloss Dagstuhl~--~Leibniz Center for Informatics. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general.
Cite as

Guido Boella, Pablo Noriega, and Gabriella Pigozzi. 09121 Abstracts Collection – Normative Multi-Agent Systems. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.09121.1,
  author =	{Boella, Guido and Noriega, Pablo and Pigozzi, Gabriella},
  title =	{{09121 Abstracts Collection – Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.1},
  URN =		{urn:nbn:de:0030-drops-19229},
  doi =		{10.4230/DagSemProc.09121.1},
  annote =	{Keywords: Similarity-based clustering and classification, metric adaptation and kernel design, learning on graphs, spatiotemporal data}
}
Document
DOI: 10.4230/DagSemProc.09121.2
Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems

Authors: Guido Boella, Gabriella Pigozzi, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)

Abstract
In this paper we introduce and discuss ten guidelines for the use of normative systems in computer science. We adopt a multiagent sys- tems perspective, because norms are used to coordinate, organize, guide, regulate or control interaction among distributed autonomous systems. The first six guidelines are derived from the computer science literature. From the so-called ‘normchange’ definition of the first workshop on nor- mative multiagent systems in 2005 we derive the guidelines to motivate which definition of normative multiagent system is used, to make explicit why norms are a kind of (soft) constraints deserving special analysis, and to explain why and how norms can be changed at runtime. From the so-called ‘mechanism design’ definition of the second workshop on nor- mative multiagent systems in 2007 we derive the guidelines to discuss the use and role of norms as a mechanism in a game-theoretic setting, clarify the role of norms in the multiagent system, and to relate the no- tion of “norm” to the legal, social, or moral literature. The remaining four guidelines follow from the philosophical literature: use norms also to resolve dilemmas, and in general to coordinate, organize, guide, regulate or control interaction among agents, distinguish norms from obligations, prohibitions and permissions, use the deontic paradoxes only to illustrate the normative multiagent system, and consider regulative norms in rela- tion to other kinds of norms and other social-cognitive computer science concepts.
Cite as

Guido Boella, Gabriella Pigozzi, and Leendert van der Torre. Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.09121.2,
  author =	{Boella, Guido and Pigozzi, Gabriella and van der Torre, Leendert},
  title =	{{Normative Systems in Computer Science - Ten Guidelines for Normative Multiagent Systems}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--21},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.2},
  URN =		{urn:nbn:de:0030-drops-19029},
  doi =		{10.4230/DagSemProc.09121.2},
  annote =	{Keywords: Normative systems - Guidelines - Norms - Multiagent systems - Deontic logic}
}
Document
DOI: 10.4230/DagSemProc.09121.16
FSL – Fibred Security Language

Authors: Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 9121, Normative Multi-Agent Systems (2009)

Abstract
We develop a fibred security language capable to express statements of the form begin{center} ${x }varphi (x) says psi$ end{center} where ${x}varphi (x)$ is the set of all $x$ that satisfy $varphi$ and $psi$ is any formula. $varphi$ and $psi$ may share several free variables. For example, we can express the following: "A member $m$ of the Program Committee can not accept a paper $P_1$ in which one of its authors says that he has published a paper with him after 2007" begin{center} $ eg({m} [PC(m) wedge {y}author\_of(y,P_1) extbf{ says } exists p(paper(p) wedge author\_of(m,p) wedge author\_of(y,p) wedge year(p) geq 2007)] extbf{ says } accept(P_1))$ end{center}
Cite as

Valerio Genovese, Dov M. Gabbay, Guido Boella, and Leendert van der Torre. FSL – Fibred Security Language. In Normative Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 9121, pp. 1-29, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2009)

Copy BibTex To Clipboard

@InProceedings{genovese_et_al:DagSemProc.09121.16,
  author =	{Genovese, Valerio and Gabbay, Dov M. and Boella, Guido and van der Torre, Leendert},
  title =	{{FSL – Fibred Security Language}},
  booktitle =	{Normative Multi-Agent Systems},
  pages =	{1--29},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2009},
  volume =	{9121},
  editor =	{Guido Boella and Pablo Noriega and Gabriella Pigozzi and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.09121.16},
  URN =		{urn:nbn:de:0030-drops-19083},
  doi =		{10.4230/DagSemProc.09121.16},
  annote =	{Keywords: Access Control, Trust Management, Fibring Logics}
}
Document
DOI: 10.4230/DagSemProc.08361.4
Adding Organizations and Roles as Primitives to the JADE Framework

Authors: Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)

Abstract
The organization metaphor is often used in the design and implementation of multiagent systems. However, few agent programming languages provide facilities to define them. Several frameworks are proposed to coordinate MAS with organizations, but they are not programmable with general purpose languages. In this paper we extend the JADE framework with primitives to program in Java organizations structured in roles and to enable agents to play roles in organizations. Roles facilitate the coordination of agents inside an organization and give new abilities in the context of organizations, called powers, to the agents which satisfy the requirements necessary to play the roles. As primitives to program organizations and roles we provide classes and protocols which enable an agent to enact a new role in an organization and to interact with the role by invoking the execution of powers, and to receive new goals to be fulfilled. Roles have state and behaviour, thus, they are instances of classes and are strictly connected with the organization offering them. Since roles and organizations can be on a different platform with respect to the role player, the communication with them happens via protocols. Moreover, since, besides using protocols, roles and organizations can have complex behaviours, they are implemented by extending the JADE agent class.
Cite as

Roberto Grenna, Matteo Baldoni, Guido Boella, Leendert van der Torre, Mauro Dorni, Andrea Mugnaini, and Valerio Genovese. Adding Organizations and Roles as Primitives to the JADE Framework. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{grenna_et_al:DagSemProc.08361.4,
  author =	{Grenna, Roberto and Baldoni, Matteo and Boella, Guido and van der Torre, Leendert and Dorni, Mauro and Mugnaini, Andrea and Genovese, Valerio},
  title =	{{Adding Organizations and Roles as Primitives to the JADE Framework}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--17},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.4},
  URN =		{urn:nbn:de:0030-drops-16396},
  doi =		{10.4230/DagSemProc.08361.4},
  annote =	{Keywords: Roles, Organizations, JADE}
}
Document
DOI: 10.4230/DagSemProc.08361.11
Ten Challenges for Normative Multiagent Systems

Authors: Guido Boella, Leendert van der Torre, and Harko Verhagen

Published in: Dagstuhl Seminar Proceedings, Volume 8361, Programming Multi-Agent Systems (2008)

Abstract
In this paper we discuss the shift from a legal to an interactionist view on normative multiagent systems, examples, and ten new challenges in this more dynamic setting.
Cite as

Guido Boella, Leendert van der Torre, and Harko Verhagen. Ten Challenges for Normative Multiagent Systems. In Programming Multi-Agent Systems. Dagstuhl Seminar Proceedings, Volume 8361, pp. 1-11, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.08361.11,
  author =	{Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
  title =	{{Ten Challenges  for Normative Multiagent Systems}},
  booktitle =	{Programming Multi-Agent Systems},
  pages =	{1--11},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2008},
  volume =	{8361},
  editor =	{Rafael Bordini and Mehdi Dastani and J\"{u}rgen Dix and Amal El Fallah-Seghrouchni},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08361.11},
  URN =		{urn:nbn:de:0030-drops-16367},
  doi =		{10.4230/DagSemProc.08361.11},
  annote =	{Keywords: Normative multiagent systems, normative systems, deontic logic, multiagent systems}
}
Document
DOI: 10.4230/DagSemProc.07122.1
07122 Abstracts Collection – Normative Multi-agent Systems

Authors: Guido Boella, Harko Verhagen, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
From 18.03.07 to 23.03.07, the Dagstuhl Seminar 07122 ``Normative Multi-agent Systems'' was held in the International Conference and Research Center (IBFI), Schloss Dagstuhl. During the seminar, several participants presented their current research, and ongoing work and open problems were discussed. Abstracts of the presentations given during the seminar as well as abstracts of seminar results and ideas are put together in this paper. The first section describes the seminar topics and goals in general. Links to extended abstracts or full papers are provided, if available.
Cite as

Guido Boella, Harko Verhagen, and Leendert van der Torre. 07122 Abstracts Collection – Normative Multi-agent Systems. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-15, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.07122.1,
  author =	{Boella, Guido and Verhagen, Harko and van der Torre, Leendert},
  title =	{{ 07122 Abstracts Collection – Normative Multi-agent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--15},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.1},
  URN =		{urn:nbn:de:0030-drops-9433},
  doi =		{10.4230/DagSemProc.07122.1},
  annote =	{Keywords: Normative systems, multi-agent systems}
}
Document
DOI: 10.4230/DagSemProc.07122.2
Introduction to Normative Multiagent Systems

Authors: Guido Boella, Leendert van der Torre, and Harko Verhagen

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
This article introduces the research issues related to and definition of normative multiagent systems.
Cite as

Guido Boella, Leendert van der Torre, and Harko Verhagen. Introduction to Normative Multiagent Systems. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.07122.2,
  author =	{Boella, Guido and van der Torre, Leendert and Verhagen, Harko},
  title =	{{ Introduction to Normative Multiagent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--7},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.2},
  URN =		{urn:nbn:de:0030-drops-9187},
  doi =		{10.4230/DagSemProc.07122.2},
  annote =	{Keywords: Norms, Multiagent systems, Normative multiagent systems}
}
Document
DOI: 10.4230/DagSemProc.07122.3
A Game-Theoretic Approach to Normative Multi-Agent Systems

Authors: Guido Boella and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
We explain the raison d'etre and basic ideas of our game-theoretic approach to normative multiagent systems, sketching the central elements with pointers to other publications for detailed developments.
Cite as

Guido Boella and Leendert van der Torre. A Game-Theoretic Approach to Normative Multi-Agent Systems. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-35, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.07122.3,
  author =	{Boella, Guido and van der Torre, Leendert},
  title =	{{A Game-Theoretic Approach to Normative Multi-Agent Systems}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--35},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.3},
  URN =		{urn:nbn:de:0030-drops-9373},
  doi =		{10.4230/DagSemProc.07122.3},
  annote =	{Keywords: Normative multiagent systems, deontic logic, input/output logic}
}
Document
DOI: 10.4230/DagSemProc.07122.9
Choosing Your Beliefs

Authors: Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre

Published in: Dagstuhl Seminar Proceedings, Volume 7122, Normative Multi-agent Systems (2007)

Abstract
This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronted with a new piece of information, it can revise its belief sets in more than one way. We define a rational agent not only in terms of what it believes but also of what it desires and wants to achieve. Hence, we propose that the agent's goals play a role in the choice of (possibly) one of the several available revision options. Properties of the new belief revision mechanism are also investigated.
Cite as

Guido Boella, Célia da Costa Pereira, Gabriella Pigozzi, Andrea Tettamanzi, and Leendert van der Torre. Choosing Your Beliefs. In Normative Multi-agent Systems. Dagstuhl Seminar Proceedings, Volume 7122, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2007)

Copy BibTex To Clipboard

@InProceedings{boella_et_al:DagSemProc.07122.9,
  author =	{Boella, Guido and da Costa Pereira, C\'{e}lia and Pigozzi, Gabriella and Tettamanzi, Andrea and van der Torre, Leendert},
  title =	{{Choosing Your Beliefs}},
  booktitle =	{Normative Multi-agent Systems},
  pages =	{1--18},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2007},
  volume =	{7122},
  editor =	{Guido Boella and Leon van der Torre and Harko Verhagen},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07122.9},
  URN =		{urn:nbn:de:0030-drops-9386},
  doi =		{10.4230/DagSemProc.07122.9},
  annote =	{Keywords: Rational agents, indeterministic belief revision, qualitative decision theory}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail
© 2023-2024 Schloss Dagstuhl – LZI GmbH Imprint Privacy Contact